R{-}pre{-}init1($i$;$x$;$A$;$x_{0}$;$a$;$T$;$P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$R{-}pre{-}init($i$;$x$ : $A$;$x$ : $x_{0}$;$a$;$T$;$\lambda$$s$,$v$. $P$($s$($x$),$v$))